COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00012 ENDMK
C⊗;

\parskip 11pt plus 2pt minus 1pt \lineskip 1pt

Adams, J. L.
Conceptual Blockbusting.
W.H. Freeman: San Francisco, 1974.

Anderson, R. H. and Gillogly, J. J.  Rand intelligent terminal agent
(RITA):  design philosophy.  R-1809-ARPA, The Rand Corporation,
Santa Monica, Calif., 1976.

Balzer, R., Goldman, N., and Wile, D.  Informality in program
specifications.
Proc. of the 5th Int. Joint Conf. on Artificial Intelligence,
Cambridge, Mass., 1977, 389-397.

Barstow, D.  A knowledge-based system for automatic program
construction.
Proc. of the 5th Int. Joint Conf. on Artificial Intelligence,
Cambridge, Mass., 1977, 382-388.

Berliner, H. J.  Chess as problem solving: the developments of a tactics
analyzer, Ph.D. Dissertation, Carnegie-Mellon University, Pittsburgh, 1974.

Bobrow, D. G. and Raphael, B.  New programming languages for
artificial intelligence research.
Computing Surveys, 6,
1974, 153-174.

Bobrow, D. G. and Winograd, T.  An overview of KRL, a knowledge
representation language.
Cognitive Science, 1,
1977, 3-46.

Burstall, R. M. and Darlington, J.  A transformation system for
developing recursive programs.
Journal of the ACM, 24,
1977, 44-67.

Collins, A. M. and Quillian, M. R.  Retrieval time from semantic memory
Journal of Verbal Learning and Verbal Behavior, 8,
1969, 240-247.

Collins, A. M. and Quillian, M. R.  How to make a language user.  In
E. Tulving and D. Donaldson (eds.),
Organization of Memory.
Academic Press: New York, 1972.

Conrad, C.  Cognitive economy in semantic memory.
Journal of Experimental Psychology, 92,
1972, 149-154.

Darlington, J. and Burstall, R. M.  A system which automatically improves
programs.
Proc. of the 3th Int. Joint Conf. on Artificial Intelligence,
Stanford, Calif., 1973, 479-485.

Dijkstra, E. W.
A Discipline of Programming,
Prentice-Hall: Englewood Clifs, N.J., 1976.

Feigenbaum, E. A.  The art of artificial intelligence:  themes and
case studies of knowledge engineering.
Proc. of the 5th Int. Joint Conf. on Artificial Intelligence,
Cambridge, Mass., 1977, 1014-1029.

Fikes, R. E., Hart, P. E., and Nilsson, N. J.  Learning and executing
generalized robot plans.
Artificial Intelligence, 3,
1972, 251-288.

Fiksel, J. R. and Bower, G. H.  Question answering by a semantic
network of parallel automata.
Journal Math. Psych., 13,
1976, 1-45.

Gelernter, H.  Realization of a geometry-theorem proving machine.  In
E. A. Feigenbaum and J. Feldman (eds.),
Computers and Thought,
McGraw-Hill: New York, 1963, 134-152.

Green, C.  A summary of the PSI program synthesis system.
Proc. of the 5th Int. Joint Conf. on Artificial Intelligence,
Cambridge, Mass., 1977, 380-381.

Green, C. and Barstow, D.  On program synthesis knowledge.
Artificial Intelligence, 10,
1978, 241-279.

Hayes-Roth, B. and Hayes-Roth, F.  Plasticity in memorial networks.
Journal of Verbal Learning and Verbal Behavior, 14,
1975, 506-522.

Hayes-Roth, B. and Hayes-Roth, F.  The prominence of lexical information
in memory representations of meaning.  Journal of Verbal Learning
and Verbal Behavior, 16, 1977, 119-136.

Hayes-Roth, B. and Walker, C.  Configural effects in human memory.
Cog\-ni\-tive Sci\-ence,
in press, 1979.

Hayes-Roth, F., Klahr, P., Burge, J., and Mostow, D. J.  Machine
methods for acquiring, learning, and applying knowledge.  P-6241,
The Rand Corporation, Santa Monica, Calif., 1978.

Hayes-Roth, F. and Lesser, V. R.  Focus of attention in the Hearsay-II
speech understanding system.
Proc. of the 5th Int. Joint Conf. on Artificial Intelligence,
Cambridge, Mass., 1977, 27-35.

Kant, E.  The selection of efficient implementations for a high level
language.
Proc. ACM SIGART-SIGPLAN Symp. on Artificial Intelligence and Programming
Languages,
SIGART Newsletter 64, 1977, 140-146.

Klahr, P.  Planning techniques for rule selection in deductive
ques\-tion-ans\-wer\-ing.  In D. A. Waterman and F. Hayes-Roth (eds.),
Pattern-Directed Inference Systems.
Academic Press: New York, 1978.

Knuth, D.  Fundamental Algorithms
(The Art of Computer Programming, Volume 1,) Addison Wesley, 1968.

Lakatos, I.
Proofs and Refutations.
Cambridge University Press: Cambridge, 1976.

Lenat, D. B.  Beings:  knowledge as interacting experts.
Proc. of the 4th Int. Joint Conf. on Artificial Intelligence,
Tbilisi, USSR, 1975, 126-133.

Lenat, D. B.  AM: an artificial intelligence approach to discovery in
mathematics as heuristic search.  Memo AIM-286, Stanford AI Lab, 1976.

Lesser, V. R. and Erman, L. D.  A retrospective view of the Hearsay-II
architecture.
Proc. of the 5th Int. Joint Conf. on Artificial Intelligence,
Cambridge, Mass., 1977, 790-800.

Low, J.  Automatic coding:  choice of data structures.  Memo AIM-242,
Stanford University, 1974.

Lowerre, B. and Reddy, D. R.  The Harpy system.  In W. Lea (ed.),
Recent Trends in Speech Recognition.
Prentice-Hall: Englewood Cliffs, N. J., in press.

McCarthy, J.  The advice taker.  In M. Minsky (ed.),
Semantic Information Processing.
MIT Press: Cambridge, Mass., 1968.

Mostow, J. and Hayes-Roth, F.  Machine-aided heuristic programming: a
paradigm for knowledge engineering.  N-1007-NSF, The Rand Corporation,
Santa Monica, Calif., 1979 (in preparation).

Newell, A., Shaw, J. C., and Simon, H. A.  Chess-playing programs
and the problem of complexity.  In E. A. Feigenbaum and J. Feldman (eds.),
Computers and Thought.
McGraw-Hill: New York, 1963, 39-70.

Newell, A. and Simon, H.
Human Problem Solving.
Prentice-Hall: Englewood Cliffs, N.J., 1972.

Rips, L. J., Shobin, E. J., and Smith, E. E.  Semantic distance and
the verification of semantic relations.
Journal of Verbal Learning and Verbal Be\-ha\-vi\-or, 12,
1973, 1-20.

Stefik, M.  An examination of a frame-structured representation system.
Memo HPP-78-13, Stanford University, 1978.

Waterman, D. A., Anderson, R. H., Hayes-Roth, F., Klahr, P., Martins, G. R.,
and Rosenschein, S.  Design of a rule-oriented system for implementing
expertise.  The Rand Corporation, Santa Monica, 1979 (in preparation).

Waterman, D. A. and Hayes-Roth, F.
Pattern-Directed Inference Systems.
Academic Press: New York, 1978.